Nuprl Definition : spread4
13,42
postcript
pdf
let
w
,
x
,
y
,
z
=
a
in
t
(
w
;
x
;
y
;
z
)
== let
w
,
zz1
=
a
in let
x
,
zz2
=
zz1
in let
y
,
z
=
zz2
in
t
(
w
;
x
;
y
;
z
)
latex
Up
core
2
,
core
2
Definitions
let
x
,
y
=
A
in
B
(
x
;
y
)
origin